991![Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto Momigliano Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto Momigliano](https://www.pdfsearch.io/img/e8bec7774287a02541914a17a923c495.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-07-02 05:22:59
|
---|
992![Stateful Bulk Processing for Incremental Analytics Dionysios Logothetis Christopher Olston UCSD Computer Science Stateful Bulk Processing for Incremental Analytics Dionysios Logothetis Christopher Olston UCSD Computer Science](https://www.pdfsearch.io/img/e0301bab1b7069a36fb8dda3fde85885.jpg) | Add to Reading ListSource URL: cseweb.ucsd.eduLanguage: English - Date: 2010-03-19 14:54:43
|
---|
993![Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI](https://www.pdfsearch.io/img/19bc5107b0c30d475e0ff805a9817a60.jpg) | Add to Reading ListSource URL: cm.bell-labs.comLanguage: English - Date: 2005-08-18 15:37:21
|
---|
994![2009 International Conference on Parallel Processing A Partition-Merge based Cache-Conscious Parallel Sorting Algorithm for CMP with Shared Cache* 1 2009 International Conference on Parallel Processing A Partition-Merge based Cache-Conscious Parallel Sorting Algorithm for CMP with Shared Cache* 1](https://www.pdfsearch.io/img/be8b3d0c1276057af7d1994d88524150.jpg) | Add to Reading ListSource URL: www.cc.gatech.eduLanguage: English - Date: 2012-06-01 10:57:26
|
---|
995![Efficient Turing-universal computation with DNA polymers (extended abstract) Lulu Qian, David Soloveichik, and Erik Winfree California Institute of Technology and University of Washington, Seattle Abstract. Bennett’s Efficient Turing-universal computation with DNA polymers (extended abstract) Lulu Qian, David Soloveichik, and Erik Winfree California Institute of Technology and University of Washington, Seattle Abstract. Bennett’s](https://www.pdfsearch.io/img/4b3434a612b895f37fe471006232bee9.jpg) | Add to Reading ListSource URL: dna.caltech.eduLanguage: English - Date: 2010-05-18 15:35:54
|
---|
996![Advanced Engineering Informatics[removed]–26 Contents lists available at ScienceDirect Advanced Engineering Informatics journal homepage: www.elsevier.com/locate/aei Advanced Engineering Informatics[removed]–26 Contents lists available at ScienceDirect Advanced Engineering Informatics journal homepage: www.elsevier.com/locate/aei](https://www.pdfsearch.io/img/a5e6dc1a19405915ca24fcd283424464.jpg) | Add to Reading ListSource URL: www.ida.liu.seLanguage: English - Date: 2011-05-25 05:57:05
|
---|
997![Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages ∗ Kai Chen Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages ∗ Kai Chen](https://www.pdfsearch.io/img/a9bd97f2023a56af0cd7580cb79902ef.jpg) | Add to Reading ListSource URL: www.isis.vanderbilt.eduLanguage: English - Date: 2008-06-17 13:28:14
|
---|
998![Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian ˘ areanu ˘ Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian ˘ areanu ˘](https://www.pdfsearch.io/img/13f2f2de32f0e62edb356a260d7cf21e.jpg) | Add to Reading ListSource URL: www.isis.vanderbilt.eduLanguage: English - Date: 2011-04-25 15:32:59
|
---|
999![Integrating a Computational Model and a Run Time System for Image Processing on a UAV Per Andersson and Krzysztof Kuchcinski Lunds University P.O. Box 118 SE[removed]Lund Integrating a Computational Model and a Run Time System for Image Processing on a UAV Per Andersson and Krzysztof Kuchcinski Lunds University P.O. Box 118 SE[removed]Lund](https://www.pdfsearch.io/img/6233737e80b3f4f059746f909fa59c23.jpg) | Add to Reading ListSource URL: www.ida.liu.seLanguage: English - Date: 2012-01-24 05:52:57
|
---|
1000![Statecharts in the making: a personal account Statecharts in the making: a personal account](https://www.pdfsearch.io/img/b71fca04495b404b012510bf3a5cb7ff.jpg) | Add to Reading ListSource URL: www.wisdom.weizmann.ac.ilLanguage: English - Date: 2007-06-13 10:47:19
|
---|